[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 126, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 195, 197, 199, 201, 203, 205, 207, 209, 211, 213, 215, 217, 219, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 296, 297, 298 }

B grade: { }

C grade: { 112, 113, 125, 127, 128, 129, 157, 158, 191, 192, 193, 194, 196, 198, 200, 202, 204, 206, 208, 210, 212, 214, 216, 218, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 283 }

F grade: { 284, 292}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 278, 280, 281 }

B grade: { 126, 269, 270, 271, 279 }

C grade: { }

F grade: { 272, 273, 274, 275, 276, 277, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 42, 44, 46, 48, 50, 53, 55, 57, 59, 61, 63, 65, 67, 69, 71, 74, 76, 78, 80, 82, 84, 86, 88, 100, 101, 102, 119, 120, 121, 122, 139, 140, 141, 149, 153, 154, 155, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 275, 278, 280, 281

B grade: { 279, 283 }

C grade: { }

F grade: { 41, 43, 45, 47, 49, 51, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 73, 75, 77, 79, 81, 83, 85, 87, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 142, 143, 144, 145, 146, 147, 148, 150, 151, 152, 156, 157, 158, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 276, 277, 282, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 85, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 275, 278, 279, 280, 281 }

B grade: { 84, 86, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 269, 270, 271, 283 }

C grade: { }

F grade: { 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 272, 273, 274, 276, 277, 282, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 46, 47, 48, 50, 53, 55, 57, 58, 59, 60, 61, 62, 63, 64, 65, 67, 68, 69, 71, 73, 74, 75, 76, 78, 79, 80, 81, 82, 84, 86, 87, 88, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 176, 177, 178, 179, 180, 181, 182, 189, 190, 269, 270, 271, 278, 279, 280, 281 }

B grade: { 28, 45, 49, 51, 52, 54, 56, 66, 70, 72, 77, 83, 85 }

C grade: { }

F grade: { 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 175, 183, 184, 185, 186, 187, 188, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 272, 273, 274, 275, 276, 277, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 123, 124, 125, 126, 127, 128, 129, 132, 133, 134, 135, 136, 137, 138, 142, 149, 155, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 278, 279, 280, 281 }

B grade: { 28, 95, 96, 97, 98, 99, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 269, 270, 271, 283 }

C grade: { }

F grade: { 130, 131, 139, 140, 141, 143, 144, 145, 146, 147, 148, 150, 151, 152, 153, 154, 156, 157, 158, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 272, 273, 274, 275, 276, 277, 282, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 28 36 74 29 39
normalized size 1 1. 1. 0.85 1.09 2.24 0.88 1.18
time (sec) N/A 0.027 0.006 0.043 1.125 0.397 0.061 1.277
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 28 36 74 29 39
normalized size 1 1. 1. 0.85 1.09 2.24 0.88 1.18
time (sec) N/A 0.041 0.007 0. 1.039 0.415 0.059 1.226
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 28 36 74 29 39
normalized size 1 1. 1. 0.85 1.09 2.24 0.88 1.18
time (sec) N/A 0.024 0.005 0. 1.136 0.395 0.057 1.157
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 33 28 36 66 29 39
normalized size 1 1. 1. 0.85 1.09 2. 0.88 1.18
time (sec) N/A 0.038 0.007 0. 1.133 0.475 0.058 1.162
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 25 32 58 26 35
normalized size 1 1. 1. 0.89 1.14 2.07 0.93 1.25
time (sec) N/A 0.019 0.005 0.001 1.112 0.476 0.057 1.123
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 28 38 65 27 41
normalized size 1 1. 1. 0.97 1.31 2.24 0.93 1.41
time (sec) N/A 0.027 0.009 0.001 1.324 0.495 0.255 1.262
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 26 24 32 61 20 31
normalized size 1 1. 1. 0.92 1.23 2.35 0.77 1.19
time (sec) N/A 0.023 0.009 0.003 1.412 0.478 0.252 1.202
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 26 38 70 26 57
normalized size 1 1. 1. 0.9 1.31 2.41 0.9 1.97
time (sec) N/A 0.028 0.011 0.005 1.161 0.528 0.326 1.173
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 27 25 35 63 26 38
normalized size 1 1. 1.04 0.96 1.35 2.42 1. 1.46
time (sec) N/A 0.022 0.011 0.005 1.123 0.449 0.342 1.201
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 31 28 41 73 27 53
normalized size 1 1. 1.07 0.97 1.41 2.52 0.93 1.83
time (sec) N/A 0.027 0.017 0.004 1.092 0.495 0.497 1.214
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 33 28 39 70 32 42
normalized size 1 1. 1.06 0.9 1.26 2.26 1.03 1.35
time (sec) N/A 0.022 0.011 0.004 1.129 0.491 0.504 1.146
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 55 52 69 131 56 72
normalized size 1 1. 1. 0.95 1.25 2.38 1.02 1.31
time (sec) N/A 0.048 0.01 0. 1.143 0.419 0.071 1.206
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 55 52 69 120 53 72
normalized size 1 1. 1. 0.95 1.25 2.18 0.96 1.31
time (sec) N/A 0.068 0.008 0.001 1.116 0.461 0.071 1.189
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 55 52 69 117 56 72
normalized size 1 1. 1. 0.95 1.25 2.13 1.02 1.31
time (sec) N/A 0.039 0.009 0.001 1.064 0.51 0.069 1.263
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 51 52 69 117 53 72
normalized size 1 1. 1.21 1.24 1.64 2.79 1.26 1.71
time (sec) N/A 0.07 0.013 0.001 1.108 0.458 0.069 1.265
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 50 49 65 109 53 68
normalized size 1 1. 1. 0.98 1.3 2.18 1.06 1.36
time (sec) N/A 0.032 0.008 0. 1.125 0.48 0.068 1.335
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 51 51 70 116 49 72
normalized size 1 1. 1.19 1.19 1.63 2.7 1.14 1.67
time (sec) N/A 0.04 0.016 0.002 1.108 0.451 0.289 1.272
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 48 49 65 116 48 65
normalized size 1 1. 1. 1.02 1.35 2.42 1. 1.35
time (sec) N/A 0.037 0.017 0.003 1.14 0.442 0.286 1.231
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 49 50 70 122 48 95
normalized size 1 1. 0.96 0.98 1.37 2.39 0.94 1.86
time (sec) N/A 0.053 0.028 0.005 1.089 0.506 0.372 1.213
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 50 46 68 109 49 68
normalized size 1 1. 1.04 0.96 1.42 2.27 1.02 1.42
time (sec) N/A 0.037 0.019 0.006 1.137 0.497 0.387 1.306
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 50 51 73 122 49 97
normalized size 1 1. 0.98 1. 1.43 2.39 0.96 1.9
time (sec) N/A 0.047 0.031 0.005 1.132 0.472 0.659 1.196
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 48 45 69 119 51 72
normalized size 1 1. 1. 0.94 1.44 2.48 1.06 1.5
time (sec) N/A 0.037 0.02 0.004 1.161 0.445 0.734 1.243
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 53 52 74 127 53 89
normalized size 1 1. 1.04 1.02 1.45 2.49 1.04 1.75
time (sec) N/A 0.045 0.026 0.005 1.121 0.47 1.165 1.253
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 59 48 72 126 56 74
normalized size 1 1. 1.11 0.91 1.36 2.38 1.06 1.4
time (sec) N/A 0.036 0.017 0.006 1.168 0.48 1.169 1.249
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 75 76 99 169 80 104
normalized size 1 1. 1. 1.01 1.32 2.25 1.07 1.39
time (sec) N/A 0.064 0.014 0.001 1.087 0.497 0.075 1.174
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 69 76 99 169 82 104
normalized size 1 1. 1.01 1.12 1.46 2.49 1.21 1.53
time (sec) N/A 0.134 0.019 0.001 1.178 0.468 0.075 1.225
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 75 76 99 166 82 104
normalized size 1 1. 1. 1.01 1.32 2.21 1.09 1.39
time (sec) N/A 0.055 0.012 0.001 1.129 0.442 0.075 1.213
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 69 76 99 166 80 104
normalized size 1 1. 1.64 1.81 2.36 3.95 1.9 2.48
time (sec) N/A 0.071 0.019 0.001 1.132 0.482 0.075 1.208
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 70 73 95 155 76 99
normalized size 1 1. 1. 1.04 1.36 2.21 1.09 1.41
time (sec) N/A 0.042 0.011 0.001 1.085 0.511 0.074 1.2
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 71 76 100 162 80 105
normalized size 1 1. 1.18 1.27 1.67 2.7 1.33 1.75
time (sec) N/A 0.053 0.02 0.001 1.143 0.552 0.324 1.239
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 65 71 93 161 68 95
normalized size 1 1. 1. 1.09 1.43 2.48 1.05 1.46
time (sec) N/A 0.045 0.022 0.004 1.168 0.481 0.314 1.163
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 73 75 100 171 78 131
normalized size 1 1. 1.03 1.06 1.41 2.41 1.1 1.85
time (sec) N/A 0.079 0.027 0.006 1.183 0.498 0.41 1.236
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 71 70 99 162 73 100
normalized size 1 1. 1.03 1.01 1.43 2.35 1.06 1.45
time (sec) N/A 0.05 0.023 0.006 1.131 0.46 0.427 1.185
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 73 76 103 163 73 132
normalized size 1 1. 1.01 1.06 1.43 2.26 1.01 1.83
time (sec) N/A 0.072 0.03 0.007 1.144 0.43 0.727 1.291
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 68 64 99 162 75 101
normalized size 1 1. 1. 0.94 1.46 2.38 1.1 1.49
time (sec) N/A 0.05 0.024 0.005 1.107 0.473 0.789 1.24
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 71 75 104 171 75 134
normalized size 1 1. 1. 1.06 1.46 2.41 1.06 1.89
time (sec) N/A 0.064 0.037 0.006 1.059 0.469 1.416 1.186
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 66 63 99 163 75 104
normalized size 1 1. 1. 0.95 1.5 2.47 1.14 1.58
time (sec) N/A 0.05 0.027 0.006 1.192 0.484 1.602 1.272
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 77 76 104 173 76 122
normalized size 1 1. 1.22 1.21 1.65 2.75 1.21 1.94
time (sec) N/A 0.047 0.033 0.006 1.173 0.503 2.661 1.197
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 73 66 101 173 80 107
normalized size 1 1. 1. 0.9 1.38 2.37 1.1 1.47
time (sec) N/A 0.049 0.028 0.006 1.194 0.497 2.69 1.207
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 78 66 101 166 80 107
normalized size 1 1. 1.59 1.35 2.06 3.39 1.63 2.18
time (sec) N/A 0.04 0.019 0.004 1.086 0.476 4.433 1.252
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 119 140 0 581 194 180
normalized size 1 1. 1. 1.18 0. 4.88 1.63 1.51
time (sec) N/A 0.087 0.078 0.006 0. 0.524 0.538 1.223
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 92 110 131 201 85 136
normalized size 1 1. 0.96 1.15 1.36 2.09 0.89 1.42
time (sec) N/A 0.126 0.037 0.004 1.018 0.482 0.47 1.233
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 98 116 0 487 173 146
normalized size 1 1. 1. 1.18 0. 4.97 1.77 1.49
time (sec) N/A 0.076 0.062 0.004 0. 0.556 0.508 1.227
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 71 86 100 155 65 104
normalized size 1 1. 0.95 1.15 1.33 2.07 0.87 1.39
time (sec) N/A 0.094 0.029 0.004 1.507 0.49 0.446 1.245
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 77 92 0 381 150 115
normalized size 1 1. 1. 1.19 0. 4.95 1.95 1.49
time (sec) N/A 0.066 0.05 0.003 0. 0.541 0.485 1.183
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 47 62 68 108 44 70
normalized size 1 1. 0.87 1.15 1.26 2. 0.81 1.3
time (sec) N/A 0.069 0.019 0.002 2.023 0.497 0.423 1.251
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 57 68 0 277 90 77
normalized size 1 1. 0.98 1.17 0. 4.78 1.55 1.33
time (sec) N/A 0.05 0.038 0.004 0. 0.589 0.462 1.349
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 31 40 42 65 27 43
normalized size 1 1. 0.89 1.14 1.2 1.86 0.77 1.23
time (sec) N/A 0.043 0.011 0.003 1.157 0.607 0.389 1.287
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 40 45 0 223 82 46
normalized size 1 1. 1. 1.12 0. 5.58 2.05 1.15
time (sec) N/A 0.028 0.022 0.002 0. 0.775 0.413 1.182
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 34 37 47 74 26 46
normalized size 1 1. 1. 1.09 1.38 2.18 0.76 1.35
time (sec) N/A 0.041 0.012 0.004 1.21 0.772 0.654 1.258
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 48 0 228 82 49
normalized size 1 1. 1. 1.14 0. 5.43 1.95 1.17
time (sec) N/A 0.032 0.025 0.005 0. 0.765 0.452 1.242
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 39 0 230 75 51
normalized size 1 1. 1. 0.95 0. 5.61 1.83 1.24
time (sec) N/A 0.034 0.024 0.005 0. 0.748 0.468 1.259
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 49 56 65 111 41 96
normalized size 1 1. 1. 1.14 1.33 2.27 0.84 1.96
time (sec) N/A 0.056 0.021 0.005 1.167 0.619 0.816 1.206
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 60 72 0 296 129 77
normalized size 1 1. 0.98 1.18 0. 4.85 2.11 1.26
time (sec) N/A 0.056 0.053 0.006 0. 0.868 0.564 1.272
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 70 81 95 158 61 135
normalized size 1 1. 1. 1.16 1.36 2.26 0.87 1.93
time (sec) N/A 0.072 0.029 0.007 2.59 0.793 0.997 1.144
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 78 96 0 398 163 109
normalized size 1 1. 1. 1.23 0. 5.1 2.09 1.4
time (sec) N/A 0.068 0.053 0.006 0. 0.835 0.678 1.251
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 96 107 130 211 88 170
normalized size 1 1. 1.04 1.16 1.41 2.29 0.96 1.85
time (sec) N/A 0.09 0.04 0.006 1.052 0.722 1.164 1.287
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 134 155 0 755 233 188
normalized size 1 1. 1.01 1.17 0. 5.68 1.75 1.41
time (sec) N/A 0.166 0.104 0.01 0. 0.889 0.927 1.336
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 93 122 144 309 102 182
normalized size 1 1. 0.89 1.16 1.37 2.94 0.97 1.73
time (sec) N/A 0.135 0.066 0.01 1.12 0.644 0.872 1.218
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 111 132 0 637 206 155
normalized size 1 1. 1.01 1.2 0. 5.79 1.87 1.41
time (sec) N/A 0.118 0.083 0.01 0. 0.832 0.862 1.205
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 72 98 111 251 78 143
normalized size 1 1. 0.87 1.18 1.34 3.02 0.94 1.72
time (sec) N/A 0.098 0.052 0.01 1.107 0.754 0.812 1.237
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 89 105 0 513 128 119
normalized size 1 1. 1. 1.18 0. 5.76 1.44 1.34
time (sec) N/A 0.089 0.071 0.009 0. 0.778 0.785 1.271
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 50 74 81 165 56 95
normalized size 1 1. 0.82 1.21 1.33 2.7 0.92 1.56
time (sec) N/A 0.07 0.036 0.008 1.265 0.69 0.715 1.298
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 68 82 0 433 114 80
normalized size 1 1. 1. 1.21 0. 6.37 1.68 1.18
time (sec) N/A 0.061 0.051 0.008 0. 0.839 0.667 1.28
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 41 41 41 47 54 92 36 50
normalized size 1 1. 1. 1.15 1.32 2.24 0.88 1.22
time (sec) N/A 0.047 0.012 0.007 2.768 0.789 0.506 1.261
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 63 68 0 381 112 77
normalized size 1 1. 1. 1.08 0. 6.05 1.78 1.22
time (sec) N/A 0.033 0.046 0.008 0. 0.71 0.542 1.169
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 46 53 69 151 46 70
normalized size 1 1. 0.9 1.04 1.35 2.96 0.9 1.37
time (sec) N/A 0.055 0.029 0.012 1.121 0.792 0.574 1.597
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 70 85 0 447 114 84
normalized size 1 1. 1. 1.21 0. 6.39 1.63 1.2
time (sec) N/A 0.074 0.033 0.01 0. 0.927 0.653 1.457
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 64 86 103 248 70 108
normalized size 1 1. 0.88 1.18 1.41 3.4 0.96 1.48
time (sec) N/A 0.08 0.052 0.014 1.212 0.867 1.021 1.328
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 90 110 0 532 184 115
normalized size 1 1. 1. 1.22 0. 5.91 2.04 1.28
time (sec) N/A 0.117 0.072 0.013 0. 0.847 0.827 1.151
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 85 114 143 327 100 203
normalized size 1 1. 0.88 1.18 1.47 3.37 1.03 2.09
time (sec) N/A 0.108 0.097 0.013 1.175 0.615 1.3 1.15
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 112 136 0 653 218 151
normalized size 1 1. 1.01 1.23 0. 5.88 1.96 1.36
time (sec) N/A 0.198 0.09 0.013 0. 0.847 1.022 1.142
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 133 174 0 892 250 186
normalized size 1 1. 0.95 1.24 0. 6.37 1.79 1.33
time (sec) N/A 0.235 0.104 0.012 0. 0.875 1.634 1.153
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 94 134 157 360 116 178
normalized size 1 1. 0.85 1.21 1.41 3.24 1.05 1.6
time (sec) N/A 0.136 0.063 0.011 1.153 1.067 1.648 1.137
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 113 147 0 763 212 150
normalized size 1 1. 0.96 1.25 0. 6.47 1.8 1.27
time (sec) N/A 0.162 0.085 0.01 0. 1.176 1.505 1.183
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 92 109 127 289 94 126
normalized size 1 1. 1.03 1.22 1.43 3.25 1.06 1.42
time (sec) N/A 0.102 0.037 0.009 1.145 1.048 1.462 1.211
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 92 122 0 672 194 108
normalized size 1 1. 0.97 1.28 0. 7.07 2.04 1.14
time (sec) N/A 0.099 0.071 0.009 0. 1.095 1.236 1.115
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 64 80 97 184 70 74
normalized size 1 1. 0.96 1.19 1.45 2.75 1.04 1.1
time (sec) N/A 0.076 0.024 0.007 1.194 1.317 1.075 1.159
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 83 89 0 624 153 105
normalized size 1 1. 0.92 0.99 0. 6.93 1.7 1.17
time (sec) N/A 0.076 0.083 0.008 0. 1.098 0.895 1.162
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 30 39 57 86 42 38
normalized size 1 1. 0.94 1.22 1.78 2.69 1.31 1.19
time (sec) N/A 0.031 0.013 0.007 1.14 1.013 0.672 1.143
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 84 90 0 621 150 105
normalized size 1 1. 0.91 0.98 0. 6.75 1.63 1.14
time (sec) N/A 0.045 0.059 0.007 0. 1.111 0.729 1.127
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 59 68 104 250 75 103
normalized size 1 1. 0.87 1. 1.53 3.68 1.1 1.51
time (sec) N/A 0.073 0.046 0.011 1.188 1.009 0.747 1.153
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 96 125 0 686 194 111
normalized size 1 1. 1. 1.3 0. 7.15 2.02 1.16
time (sec) N/A 0.118 0.062 0.013 0. 1.021 0.901 1.155
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 86 118 147 412 107 142
normalized size 1 1. 0.89 1.22 1.52 4.25 1.1 1.46
time (sec) N/A 0.117 0.06 0.015 1.099 1.059 1.36 1.192
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 119 152 0 782 226 146
normalized size 1 1. 1.02 1.3 0. 6.68 1.93 1.25
time (sec) N/A 0.177 0.07 0.013 0. 1.04 1.212 1.177
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 121 121 108 150 185 474 136 178
normalized size 1 1. 0.89 1.24 1.53 3.92 1.12 1.47
time (sec) N/A 0.131 0.077 0.015 1.178 1.101 1.858 1.163
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 140 177 0 909 260 182
normalized size 1 1. 1. 1.26 0. 6.49 1.86 1.3
time (sec) N/A 0.332 0.075 0.014 0. 1.079 1.692 1.158
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 135 180 230 560 165 271
normalized size 1 1. 0.91 1.22 1.55 3.78 1.11 1.83
time (sec) N/A 0.173 0.12 0.017 1.372 1.012 2.57 1.126
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 218 218 193 290 0 844 0 331
normalized size 1 1. 0.89 1.33 0. 3.87 0. 1.52
time (sec) N/A 0.381 0.294 0.028 0. 1.691 0. 1.177
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 181 173 248 0 737 0 285
normalized size 1 1. 0.96 1.37 0. 4.07 0. 1.57
time (sec) N/A 0.334 0.273 0.008 0. 1.321 0. 1.154
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 151 206 0 609 0 239
normalized size 1 1. 1.21 1.65 0. 4.87 0. 1.91
time (sec) N/A 0.199 0.201 0.009 0. 1.229 0. 1.229
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 129 164 0 497 0 189
normalized size 1 1. 1.21 1.53 0. 4.64 0. 1.77
time (sec) N/A 0.154 0.179 0.009 0. 1.209 0. 1.327
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 91 124 0 392 0 139
normalized size 1 1. 0.91 1.24 0. 3.92 0. 1.39
time (sec) N/A 0.197 0.144 0.006 0. 1.172 0. 1.348
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 78 130 0 363 0 124
normalized size 1 1. 0.8 1.34 0. 3.74 0. 1.28
time (sec) N/A 0.213 0.143 0.008 0. 1.189 0. 1.232
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 86 109 0 363 0 220
normalized size 1 1. 1.08 1.36 0. 4.54 0. 2.75
time (sec) N/A 0.196 0.122 0.01 0. 1.094 0. 1.549
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 44 48 0 131 0 338
normalized size 1 1. 0.72 0.79 0. 2.15 0. 5.54
time (sec) N/A 0.162 0.018 0.006 0. 0.919 0. 1.807
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 66 70 0 184 0 419
normalized size 1 1. 0.69 0.73 0. 1.92 0. 4.36
time (sec) N/A 0.211 0.025 0.005 0. 1.114 0. 2.313
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 88 94 0 238 0 500
normalized size 1 1. 0.66 0.71 0. 1.79 0. 3.76
time (sec) N/A 0.245 0.029 0.006 0. 1.358 0. 3.139
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 94 118 0 298 0 581
normalized size 1 1. 0.55 0.69 0. 1.75 0. 3.42
time (sec) N/A 0.3 0.068 0.006 0. 1.787 0. 4.422
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 82 91 143 230 0 180
normalized size 1 1. 0.63 0.69 1.09 1.76 0. 1.37
time (sec) N/A 0.22 0.06 0.006 1.207 1.119 0. 1.169
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 64 67 112 177 0 142
normalized size 1 1. 0.68 0.71 1.19 1.88 0. 1.51
time (sec) N/A 0.166 0.042 0.006 1.101 1.162 0. 1.161
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 41 45 69 124 0 99
normalized size 1 1. 0.67 0.74 1.13 2.03 0. 1.62
time (sec) N/A 0.019 0.025 0.005 1.204 0.961 0. 1.215
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 84 85 0 359 0 157
normalized size 1 1. 1.08 1.09 0. 4.6 0. 2.01
time (sec) N/A 0.146 0.077 0.007 0. 1.253 0. 1.158
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 94 135 0 375 0 103
normalized size 1 1. 0.94 1.35 0. 3.75 0. 1.03
time (sec) N/A 0.161 0.046 0.01 0. 1.043 0. 1.241
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 95 174 0 437 0 178
normalized size 1 1. 0.92 1.69 0. 4.24 0. 1.73
time (sec) N/A 0.158 0.107 0.01 0. 1.077 0. 1.25
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 223 215 328 0 984 0 378
normalized size 1 1. 0.96 1.47 0. 4.41 0. 1.7
time (sec) N/A 0.404 0.325 0.032 0. 2.333 0. 1.166
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 193 286 0 853 0 332
normalized size 1 1. 1.16 1.71 0. 5.11 0. 1.99
time (sec) N/A 0.248 0.283 0.011 0. 1.699 0. 1.186
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 171 244 0 717 0 279
normalized size 1 1. 1.16 1.65 0. 4.84 0. 1.89
time (sec) N/A 0.191 0.232 0.01 0. 1.608 0. 1.17
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 151 202 0 616 0 240
normalized size 1 1. 1.05 1.4 0. 4.28 0. 1.67
time (sec) N/A 0.266 0.219 0.009 0. 1.283 0. 1.192
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 130 162 0 504 0 192
normalized size 1 1. 0.95 1.18 0. 3.68 0. 1.4
time (sec) N/A 0.296 0.118 0.004 0. 1.303 0. 1.184
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 96 174 0 467 0 170
normalized size 1 1. 0.75 1.36 0. 3.65 0. 1.33
time (sec) N/A 0.277 0.174 0.009 0. 1.114 0. 1.238
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 98 219 0 435 0 304
normalized size 1 1. 0.72 1.61 0. 3.2 0. 2.24
time (sec) N/A 0.274 0.051 0.01 0. 1.273 0. 1.456
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 94 153 0 471 0 343
normalized size 1 1. 0.9 1.47 0. 4.53 0. 3.3
time (sec) N/A 0.251 0.047 0.011 0. 1.275 0. 1.894
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 44 48 0 178 0 500
normalized size 1 1. 0.72 0.79 0. 2.92 0. 8.2
time (sec) N/A 0.173 0.024 0.004 0. 1.307 0. 3.539
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 66 70 0 236 0 581
normalized size 1 1. 0.69 0.73 0. 2.46 0. 6.05
time (sec) N/A 0.233 0.031 0.005 0. 1.332 0. 4.782
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 89 94 0 304 0 662
normalized size 1 1. 0.67 0.71 0. 2.29 0. 4.98
time (sec) N/A 0.279 0.034 0.006 0. 1.483 0. 4.92
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 95 118 0 356 0 743
normalized size 1 1. 0.56 0.69 0. 2.09 0. 4.37
time (sec) N/A 0.321 0.07 0.006 0. 1.816 0. 5.158
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 207 207 89 142 0 409 0 786
normalized size 1 1. 0.43 0.69 0. 1.98 0. 3.8
time (sec) N/A 0.352 0.067 0.007 0. 2.557 0. 6.311
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 168 168 113 115 203 350 0 440
normalized size 1 1. 0.67 0.68 1.21 2.08 0. 2.62
time (sec) N/A 0.297 0.083 0.005 1.241 1.088 0. 1.25
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 92 91 173 294 0 363
normalized size 1 1. 0.7 0.69 1.32 2.24 0. 2.77
time (sec) N/A 0.241 0.067 0.006 1.289 1.203 0. 1.224
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 71 67 142 228 0 288
normalized size 1 1. 0.74 0.7 1.48 2.38 0. 3.
time (sec) N/A 0.07 0.047 0.004 1.277 1.088 0. 1.138
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 48 45 108 171 0 203
normalized size 1 1. 0.79 0.74 1.77 2.8 0. 3.33
time (sec) N/A 0.159 0.031 0.003 1.245 1.108 0. 1.129
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 109 99 0 467 0 189
normalized size 1 1. 1.07 0.97 0. 4.58 0. 1.85
time (sec) N/A 0.205 0.088 0.009 0. 1.168 0. 1.182
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 109 172 0 447 0 155
normalized size 1 1. 0.82 1.29 0. 3.36 0. 1.17
time (sec) N/A 0.22 0.063 0.009 0. 1.111 0. 1.352
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 63 213 0 479 0 196
normalized size 1 1. 0.47 1.58 0. 3.55 0. 1.45
time (sec) N/A 0.216 0.035 0.01 0. 1.149 0. 1.308
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 121 259 0 549 0 236
normalized size 1 1. 0.86 1.85 0. 3.92 0. 1.69
time (sec) N/A 0.223 0.127 0.013 0. 1.165 0. 1.323
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 177 177 66 302 0 664 0 289
normalized size 1 1. 0.37 1.71 0. 3.75 0. 1.63
time (sec) N/A 0.281 0.035 0.017 0. 1.233 0. 1.291
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 65 344 0 765 0 316
normalized size 1 1. 0.3 1.61 0. 3.57 0. 1.48
time (sec) N/A 0.339 0.033 0.033 0. 1.433 0. 1.295
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 251 251 66 386 0 905 0 397
normalized size 1 1. 0.26 1.54 0. 3.61 0. 1.58
time (sec) N/A 0.39 0.037 0.062 0. 1.714 0. 1.295
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 176 176 145 211 0 626 0 0
normalized size 1 1. 0.82 1.2 0. 3.56 0. 0.
time (sec) N/A 0.328 0.168 0.013 0. 1.213 0. 0.
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 123 169 0 512 0 0
normalized size 1 1. 0.88 1.22 0. 3.68 0. 0.
time (sec) N/A 0.275 0.114 0.008 0. 1.112 0. 0.
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 83 83 97 127 0 404 0 123
normalized size 1 1. 1.17 1.53 0. 4.87 0. 1.48
time (sec) N/A 0.171 0.09 0.007 0. 1.067 0. 1.235
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 81 88 0 302 0 90
normalized size 1 1. 1.23 1.33 0. 4.58 0. 1.36
time (sec) N/A 0.123 0.043 0.006 0. 1.154 0. 1.235
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 74 67 0 298 0 54
normalized size 1 1. 1.3 1.18 0. 5.23 0. 0.95
time (sec) N/A 0.151 0.029 0.009 0. 1.038 0. 1.182
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 43 47 0 86 0 58
normalized size 1 1. 0.7 0.77 0. 1.41 0. 0.95
time (sec) N/A 0.168 0.024 0.005 0. 1.075 0. 1.167
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 64 70 0 135 0 99
normalized size 1 1. 0.67 0.73 0. 1.41 0. 1.03
time (sec) N/A 0.209 0.026 0.005 0. 1.184 0. 1.156
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 89 94 0 190 0 140
normalized size 1 1. 0.67 0.71 0. 1.43 0. 1.05
time (sec) N/A 0.253 0.031 0.006 0. 1.154 0. 1.17
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 94 118 0 240 0 182
normalized size 1 1. 0.55 0.69 0. 1.41 0. 1.07
time (sec) N/A 0.303 0.058 0.006 0. 1.266 0. 1.188
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 85 89 143 184 0 0
normalized size 1 1. 0.65 0.68 1.09 1.4 0. 0.
time (sec) N/A 0.24 0.06 0.005 1.186 1.108 0. 0.
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 63 65 112 128 0 0
normalized size 1 1. 0.67 0.69 1.19 1.36 0. 0.
time (sec) N/A 0.193 0.042 0.005 1.316 1.018 0. 0.
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 40 42 68 80 0 0
normalized size 1 1. 0.68 0.71 1.15 1.36 0. 0.
time (sec) N/A 0.135 0.028 0.004 1.159 1.001 0. 0.
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 73 72 0 300 0 81
normalized size 1 1. 1.33 1.31 0. 5.45 0. 1.47
time (sec) N/A 0.02 0.032 0.008 0. 1.068 0. 1.193
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 87 105 0 344 0 0
normalized size 1 1. 1.28 1.54 0. 5.06 0. 0.
time (sec) N/A 0.117 0.052 0.009 0. 1.063 0. 0.
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 104 146 0 450 0 0
normalized size 1 1. 1.01 1.42 0. 4.37 0. 0.
time (sec) N/A 0.165 0.15 0.01 0. 1.43 0. 0.
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 184 184 136 166 0 738 0 0
normalized size 1 1. 0.74 0.9 0. 4.01 0. 0.
time (sec) N/A 0.333 0.179 0.015 0. 1.536 0. 0.
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 113 140 0 625 0 0
normalized size 1 1. 0.77 0.95 0. 4.25 0. 0.
time (sec) N/A 0.28 0.137 0.009 0. 1.485 0. 0.
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 91 115 0 504 0 0
normalized size 1 1. 0.81 1.03 0. 4.5 0. 0.
time (sec) N/A 0.242 0.113 0.008 0. 1.43 0. 0.
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 75 75 0 396 0 0
normalized size 1 1. 1.12 1.12 0. 5.91 0. 0.
time (sec) N/A 0.177 0.07 0.005 0. 1.36 0. 0.
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 37 47 88 93 0 49
normalized size 1 1. 1. 1.27 2.38 2.51 0. 1.32
time (sec) N/A 0.121 0.019 0.004 1.174 1.328 0. 1.187
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 66 64 66 0 149 0 0
normalized size 1 1. 0.97 1. 0. 2.26 0. 0.
time (sec) N/A 0.164 0.022 0.005 0. 1.251 0. 0.
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 85 94 0 200 0 0
normalized size 1 1. 0.84 0.93 0. 1.98 0. 0.
time (sec) N/A 0.22 0.027 0.006 0. 1.318 0. 0.
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 75 118 0 252 0 0
normalized size 1 1. 0.54 0.86 0. 1.83 0. 0.
time (sec) N/A 0.267 0.034 0.006 0. 1.501 0. 0.
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 82 91 111 194 0 0
normalized size 1 1. 0.59 0.65 0.8 1.4 0. 0.
time (sec) N/A 0.248 0.051 0.005 1.193 1.364 0. 0.
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 60 66 80 139 0 0
normalized size 1 1. 0.58 0.63 0.77 1.34 0. 0.
time (sec) N/A 0.2 0.038 0.005 1.194 1.489 0. 0.
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 35 44 53 88 0 81
normalized size 1 1. 0.51 0.64 0.77 1.28 0. 1.17
time (sec) N/A 0.15 0.023 0.003 1.213 1.279 0. 1.332
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 64 64 73 79 0 419 0 0
normalized size 1 1. 1.14 1.23 0. 6.55 0. 0.
time (sec) N/A 0.139 0.031 0.009 0. 1.443 0. 0.
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 61 129 0 549 0 0
normalized size 1 1. 0.43 0.91 0. 3.87 0. 0.
time (sec) N/A 0.089 0.024 0.01 0. 1.482 0. 0.
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 64 157 0 671 0 0
normalized size 1 1. 0.47 1.15 0. 4.9 0. 0.
time (sec) N/A 0.192 0.027 0.01 0. 1.412 0. 0.
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 33 32 36 90 46 39
normalized size 1 1. 0.85 0.82 0.92 2.31 1.18 1.
time (sec) N/A 0.023 0.016 0.004 1.155 1.299 27.759 1.157
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 33 32 36 89 46 39
normalized size 1 1. 0.85 0.82 0.92 2.28 1.18 1.
time (sec) N/A 0.023 0.015 0.003 1.132 1.319 19.579 1.16
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 33 32 36 89 46 39
normalized size 1 1. 0.85 0.82 0.92 2.28 1.18 1.
time (sec) N/A 0.023 0.016 0.003 1.065 1.556 10.291 1.137
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 33 32 36 88 37 39
normalized size 1 1. 0.85 0.82 0.92 2.26 0.95 1.
time (sec) N/A 0.021 0.014 0.003 1.187 1.64 3.659 1.14
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 33 32 36 85 46 39
normalized size 1 1. 0.85 0.82 0.92 2.18 1.18 1.
time (sec) N/A 0.021 0.014 0.003 1.024 1.529 3.317 1.148
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 33 32 36 81 46 39
normalized size 1 1. 0.85 0.82 0.92 2.08 1.18 1.
time (sec) N/A 0.021 0.014 0.004 1.196 1.659 2.662 1.148
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 33 32 36 74 44 39
normalized size 1 1. 0.89 0.86 0.97 2. 1.19 1.05
time (sec) N/A 0.021 0.014 0.003 1.127 1.537 4.549 1.131
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 35 32 36 74 44 39
normalized size 1 1. 0.95 0.86 0.97 2. 1.19 1.05
time (sec) N/A 0.021 0.01 0.004 1.15 1.615 7.518 1.171
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 63 56 69 157 80 72
normalized size 1 1. 1. 0.89 1.1 2.49 1.27 1.14
time (sec) N/A 0.041 0.032 0.005 1.1 1.575 96.261 1.178
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 53 56 69 150 80 72
normalized size 1 1. 0.84 0.89 1.1 2.38 1.27 1.14
time (sec) N/A 0.039 0.03 0.005 1.152 1.7 53.763 1.166
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 63 56 69 151 80 72
normalized size 1 1. 1. 0.89 1.1 2.4 1.27 1.14
time (sec) N/A 0.038 0.029 0.005 1.131 1.535 27.974 1.213
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 53 56 69 149 66 72
normalized size 1 1. 0.84 0.89 1.1 2.37 1.05 1.14
time (sec) N/A 0.038 0.029 0.005 1.127 1.561 6.599 1.171
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 53 56 69 146 80 72
normalized size 1 1. 0.84 0.89 1.1 2.32 1.27 1.14
time (sec) N/A 0.039 0.029 0.006 1.171 1.548 11.918 1.162
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 63 56 69 147 80 72
normalized size 1 1. 1. 0.89 1.1 2.33 1.27 1.14
time (sec) N/A 0.039 0.028 0.005 1.171 1.563 13.452 1.122
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 53 56 69 143 80 72
normalized size 1 1. 0.84 0.89 1.1 2.27 1.27 1.14
time (sec) N/A 0.038 0.03 0.005 1.139 1.597 16.498 1.132
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 53 56 69 136 80 72
normalized size 1 1. 0.84 0.89 1.1 2.16 1.27 1.14
time (sec) N/A 0.038 0.03 0.006 1.169 1.466 21.516 1.191
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 85 80 99 217 0 104
normalized size 1 1. 1. 0.94 1.16 2.55 0. 1.22
time (sec) N/A 0.052 0.047 0.006 1.081 1.495 0. 1.112
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 85 80 99 216 114 104
normalized size 1 1. 1. 0.94 1.16 2.54 1.34 1.22
time (sec) N/A 0.05 0.043 0.007 1.116 1.683 165.782 1.12
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 85 80 99 213 114 104
normalized size 1 1. 1. 0.94 1.16 2.51 1.34 1.22
time (sec) N/A 0.05 0.041 0.005 1.196 1.84 113.16 1.147
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 85 80 99 211 95 104
normalized size 1 1. 1. 0.94 1.16 2.48 1.12 1.22
time (sec) N/A 0.05 0.04 0.005 1.127 1.821 18.293 1.12
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 85 80 99 209 114 104
normalized size 1 1. 1. 0.94 1.16 2.46 1.34 1.22
time (sec) N/A 0.052 0.038 0.005 1.161 1.803 56.039 1.135
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 85 80 99 207 114 104
normalized size 1 1. 1. 0.94 1.16 2.44 1.34 1.22
time (sec) N/A 0.05 0.037 0.005 1.107 1.858 59.921 1.139
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 85 80 99 205 114 104
normalized size 1 1. 1. 0.94 1.16 2.41 1.34 1.22
time (sec) N/A 0.052 0.038 0.004 1.167 1.88 81.981 1.122
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 85 80 99 201 114 104
normalized size 1 1. 1. 0.94 1.16 2.36 1.34 1.22
time (sec) N/A 0.051 0.037 0.007 1.098 1.862 112.692 1.137
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 278 278 133 336 0 1914 0 402
normalized size 1 1. 0.48 1.21 0. 6.88 0. 1.45
time (sec) N/A 0.274 0.23 0.033 0. 2.269 0. 1.164
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 276 276 227 330 0 1477 0 402
normalized size 1 1. 0.82 1.2 0. 5.35 0. 1.46
time (sec) N/A 0.247 0.276 0.008 0. 2.274 0. 1.163
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 110 308 0 1823 0 356
normalized size 1 1. 0.43 1.2 0. 7.09 0. 1.39
time (sec) N/A 0.218 0.127 0.007 0. 2.408 0. 1.152
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 208 299 0 1365 0 355
normalized size 1 1. 0.82 1.17 0. 5.35 0. 1.39
time (sec) N/A 0.209 0.202 0.008 0. 2.076 0. 1.13
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 95 280 0 1698 0 339
normalized size 1 1. 0.4 1.18 0. 7.16 0. 1.43
time (sec) N/A 0.188 0.075 0.008 0. 2.335 0. 1.192
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 235 235 166 277 0 1347 0 339
normalized size 1 1. 0.71 1.18 0. 5.73 0. 1.44
time (sec) N/A 0.184 0.133 0.007 0. 2.18 0. 1.199
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 235 235 74 277 0 1735 374 339
normalized size 1 1. 0.31 1.18 0. 7.38 1.59 1.44
time (sec) N/A 0.189 0.088 0.01 0. 2.33 85.082 1.158
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 168 280 0 1347 374 339
normalized size 1 1. 0.71 1.18 0. 5.68 1.58 1.43
time (sec) N/A 0.188 0.136 0.008 0. 2.295 160.822 1.185
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 46 299 0 1793 0 362
normalized size 1 1. 0.18 1.17 0. 7.03 0. 1.42
time (sec) N/A 0.215 0.02 0.011 0. 2.264 0. 1.179
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 257 257 47 308 0 1453 0 347
normalized size 1 1. 0.18 1.2 0. 5.65 0. 1.35
time (sec) N/A 0.214 0.018 0.011 0. 2.311 0. 1.186
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 276 276 47 330 0 1898 0 393
normalized size 1 1. 0.17 1.2 0. 6.88 0. 1.42
time (sec) N/A 0.245 0.017 0.012 0. 2.639 0. 1.191
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 278 278 47 336 0 1540 0 393
normalized size 1 1. 0.17 1.21 0. 5.54 0. 1.41
time (sec) N/A 0.241 0.016 0.011 0. 2.523 0. 1.219
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 332 332 417 372 0 1928 0 452
normalized size 1 1. 1.26 1.12 0. 5.81 0. 1.36
time (sec) N/A 0.277 0.455 0.016 0. 2.427 0. 1.277
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 310 310 154 348 0 2390 0 404
normalized size 1 1. 0.5 1.12 0. 7.71 0. 1.3
time (sec) N/A 0.245 0.221 0.015 0. 2.645 0. 1.241
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 310 310 385 339 0 1775 0 402
normalized size 1 1. 1.24 1.09 0. 5.73 0. 1.3
time (sec) N/A 0.253 0.398 0.013 0. 2.468 0. 1.329
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 289 289 136 317 0 2141 0 382
normalized size 1 1. 0.47 1.1 0. 7.41 0. 1.32
time (sec) N/A 0.229 0.198 0.013 0. 2.664 0. 1.349
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 289 289 354 323 0 1594 0 382
normalized size 1 1. 1.22 1.12 0. 5.52 0. 1.32
time (sec) N/A 0.234 0.391 0.014 0. 2.523 0. 1.221
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 261 261 95 305 0 1968 0 369
normalized size 1 1. 0.36 1.17 0. 7.54 0. 1.41
time (sec) N/A 0.2 0.128 0.013 0. 2.562 0. 1.208
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 261 261 203 305 0 1559 0 369
normalized size 1 1. 0.78 1.17 0. 5.97 0. 1.41
time (sec) N/A 0.2 0.243 0.013 0. 2.475 0. 1.191
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 284 284 117 323 0 2026 0 375
normalized size 1 1. 0.41 1.14 0. 7.13 0. 1.32
time (sec) N/A 0.23 0.214 0.016 0. 2.566 0. 1.278
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 289 289 355 317 0 1700 0 382
normalized size 1 1. 1.23 1.1 0. 5.88 0. 1.32
time (sec) N/A 0.225 0.423 0.015 0. 2.493 0. 1.27
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 310 310 151 339 0 2310 0 409
normalized size 1 1. 0.49 1.09 0. 7.45 0. 1.32
time (sec) N/A 0.271 0.446 0.017 0. 2.655 0. 1.356
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 310 310 385 348 0 1898 0 394
normalized size 1 1. 1.24 1.12 0. 6.12 0. 1.27
time (sec) N/A 0.255 0.493 0.019 0. 2.459 0. 1.341
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 332 332 176 372 0 2475 0 443
normalized size 1 1. 0.53 1.12 0. 7.45 0. 1.33
time (sec) N/A 0.286 0.414 0.018 0. 2.633 0. 1.376
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 343 343 435 381 0 1955 0 433
normalized size 1 1. 1.27 1.11 0. 5.7 0. 1.26
time (sec) N/A 0.278 0.475 0.019 0. 2.574 0. 1.312
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 176 357 0 2367 0 410
normalized size 1 1. 0.55 1.11 0. 7.35 0. 1.27
time (sec) N/A 0.247 0.316 0.018 0. 2.819 0. 1.181
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 403 363 0 1787 0 410
normalized size 1 1. 1.25 1.13 0. 5.55 0. 1.27
time (sec) N/A 0.254 0.458 0.016 0. 2.6 0. 1.258
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 293 293 137 325 0 2226 0 396
normalized size 1 1. 0.47 1.11 0. 7.6 0. 1.35
time (sec) N/A 0.223 0.224 0.015 0. 2.664 0. 1.328
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 298 389 334 0 1817 0 402
normalized size 1 1. 1.31 1.12 0. 6.1 0. 1.35
time (sec) N/A 0.236 0.446 0.015 0. 2.604 0. 1.294
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 298 62 335 0 2276 0 402
normalized size 1 1. 0.21 1.12 0. 7.64 0. 1.35
time (sec) N/A 0.229 0.055 0.016 0. 2.77 0. 1.393
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 293 293 230 325 0 1782 0 396
normalized size 1 1. 0.78 1.11 0. 6.08 0. 1.35
time (sec) N/A 0.231 0.298 0.015 0. 2.542 0. 1.317
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 316 316 147 363 0 2244 0 405
normalized size 1 1. 0.47 1.15 0. 7.1 0. 1.28
time (sec) N/A 0.256 0.205 0.018 0. 2.739 0. 1.391
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 322 322 400 357 0 1901 0 410
normalized size 1 1. 1.24 1.11 0. 5.9 0. 1.27
time (sec) N/A 0.251 0.447 0.017 0. 2.753 0. 1.31
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 343 343 189 381 0 2507 0 440
normalized size 1 1. 0.55 1.11 0. 7.31 0. 1.28
time (sec) N/A 0.275 0.477 0.021 0. 2.697 0. 1.351
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 343 343 433 390 0 2063 0 425
normalized size 1 1. 1.26 1.14 0. 6.01 0. 1.24
time (sec) N/A 0.278 0.511 0.02 0. 2.73 0. 1.309
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 365 365 216 414 0 2684 0 474
normalized size 1 1. 0.59 1.13 0. 7.35 0. 1.3
time (sec) N/A 0.32 0.502 0.021 0. 2.73 0. 1.381
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-2) B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 365 365 467 420 0 2233 0 474
normalized size 1 1. 1.28 1.15 0. 6.12 0. 1.3
time (sec) N/A 0.321 0.581 0.022 0. 2.595 0. 1.393
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 243 243 136 307 0 0 0 0
normalized size 1 1. 0.56 1.26 0. 0. 0. 0.
time (sec) N/A 0.39 0.162 0.053 0. 0. 0. 0.
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 369 369 111 446 0 0 0 0
normalized size 1 1. 0.3 1.21 0. 0. 0. 0.
time (sec) N/A 0.436 0.129 0.03 0. 0. 0. 0.
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 204 204 111 283 0 0 0 0
normalized size 1 1. 0.54 1.39 0. 0. 0. 0.
time (sec) N/A 0.3 0.13 0.023 0. 0. 0. 0.
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 326 326 94 422 0 0 0 0
normalized size 1 1. 0.29 1.29 0. 0. 0. 0.
time (sec) N/A 0.375 0.082 0.021 0. 0. 0. 0.
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 94 257 0 0 0 0
normalized size 1 1. 0.57 1.56 0. 0. 0. 0.
time (sec) N/A 0.254 0.05 0.02 0. 0. 0. 0.
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 323 323 97 399 0 0 0 0
normalized size 1 1. 0.3 1.24 0. 0. 0. 0.
time (sec) N/A 0.362 0.043 0.03 0. 0. 0. 0.
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 97 239 0 0 0 0
normalized size 1 1. 0.6 1.47 0. 0. 0. 0.
time (sec) N/A 0.243 0.044 0.025 0. 0. 0. 0.
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 328 328 96 422 0 0 0 0
normalized size 1 1. 0.29 1.29 0. 0. 0. 0.
time (sec) N/A 0.374 0.042 0.032 0. 0. 0. 0.
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 98 255 0 0 0 0
normalized size 1 1. 0.59 1.53 0. 0. 0. 0.
time (sec) N/A 0.25 0.042 0.029 0. 0. 0. 0.
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 369 369 99 452 0 0 0 0
normalized size 1 1. 0.27 1.22 0. 0. 0. 0.
time (sec) N/A 0.436 0.044 0.032 0. 0. 0. 0.
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 204 204 98 283 0 0 0 0
normalized size 1 1. 0.48 1.39 0. 0. 0. 0.
time (sec) N/A 0.308 0.045 0.03 0. 0. 0. 0.
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 486 486 160 518 0 0 0 0
normalized size 1 1. 0.33 1.07 0. 0. 0. 0.
time (sec) N/A 0.671 0.215 0.04 0. 0. 0. 0.
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 321 321 160 355 0 0 0 0
normalized size 1 1. 0.5 1.11 0. 0. 0. 0.
time (sec) N/A 0.49 0.207 0.033 0. 0. 0. 0.
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 447 447 138 494 0 0 0 0
normalized size 1 1. 0.31 1.11 0. 0. 0. 0.
time (sec) N/A 0.59 0.175 0.014 0. 0. 0. 0.
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 282 282 138 331 0 0 0 0
normalized size 1 1. 0.49 1.17 0. 0. 0. 0.
time (sec) N/A 0.425 0.169 0.015 0. 0. 0. 0.
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 408 408 115 470 0 0 0 0
normalized size 1 1. 0.28 1.15 0. 0. 0. 0.
time (sec) N/A 0.515 0.144 0.015 0. 0. 0. 0.
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 239 239 115 307 0 0 0 0
normalized size 1 1. 0.48 1.28 0. 0. 0. 0.
time (sec) N/A 0.369 0.142 0.014 0. 0. 0. 0.
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 369 369 98 446 0 0 0 0
normalized size 1 1. 0.27 1.21 0. 0. 0. 0.
time (sec) N/A 0.45 0.103 0.017 0. 0. 0. 0.
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 97 283 0 0 0 0
normalized size 1 1. 0.48 1.41 0. 0. 0. 0.
time (sec) N/A 0.312 0.068 0.015 0. 0. 0. 0.
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 356 356 85 429 0 0 0 0
normalized size 1 1. 0.24 1.21 0. 0. 0. 0.
time (sec) N/A 0.446 0.074 0.02 0. 0. 0. 0.
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 200 200 101 260 0 0 0 0
normalized size 1 1. 0.5 1.3 0. 0. 0. 0.
time (sec) N/A 0.322 0.055 0.015 0. 0. 0. 0.
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 354 354 99 427 0 0 0 0
normalized size 1 1. 0.28 1.21 0. 0. 0. 0.
time (sec) N/A 0.435 0.045 0.019 0. 0. 0. 0.
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 204 204 101 254 0 0 0 0
normalized size 1 1. 0.5 1.25 0. 0. 0. 0.
time (sec) N/A 0.319 0.052 0.016 0. 0. 0. 0.
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 364 364 100 452 0 0 0 0
normalized size 1 1. 0.27 1.24 0. 0. 0. 0.
time (sec) N/A 0.446 0.055 0.02 0. 0. 0. 0.
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 243 243 143 298 0 0 0 0
normalized size 1 1. 0.59 1.23 0. 0. 0. 0.
time (sec) N/A 0.368 0.159 0.025 0. 0. 0. 0.
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 369 369 122 437 0 0 0 0
normalized size 1 1. 0.33 1.18 0. 0. 0. 0.
time (sec) N/A 0.445 0.138 0.025 0. 0. 0. 0.
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 204 204 122 274 0 0 0 0
normalized size 1 1. 0.6 1.34 0. 0. 0. 0.
time (sec) N/A 0.314 0.132 0.016 0. 0. 0. 0.
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 330 330 97 413 0 0 0 0
normalized size 1 1. 0.29 1.25 0. 0. 0. 0.
time (sec) N/A 0.377 0.117 0.017 0. 0. 0. 0.
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 97 248 0 0 0 0
normalized size 1 1. 0.58 1.49 0. 0. 0. 0.
time (sec) N/A 0.255 0.111 0.015 0. 0. 0. 0.
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 293 293 81 378 0 0 0 0
normalized size 1 1. 0.28 1.29 0. 0. 0. 0.
time (sec) N/A 0.311 0.088 0.014 0. 0. 0. 0.
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 80 216 0 0 0 0
normalized size 1 1. 0.62 1.66 0. 0. 0. 0.
time (sec) N/A 0.198 0.062 0.015 0. 0. 0. 0.
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 281 281 82 377 0 0 0 0
normalized size 1 1. 0.29 1.34 0. 0. 0. 0.
time (sec) N/A 0.309 0.049 0.018 0. 0. 0. 0.
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 82 219 0 0 0 0
normalized size 1 1. 0.63 1.67 0. 0. 0. 0.
time (sec) N/A 0.204 0.047 0.015 0. 0. 0. 0.
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 332 332 83 413 0 0 0 0
normalized size 1 1. 0.25 1.24 0. 0. 0. 0.
time (sec) N/A 0.378 0.045 0.018 0. 0. 0. 0.
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 85 247 0 0 0 0
normalized size 1 1. 0.51 1.48 0. 0. 0. 0.
time (sec) N/A 0.253 0.045 0.016 0. 0. 0. 0.
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 369 369 84 443 0 0 0 0
normalized size 1 1. 0.23 1.2 0. 0. 0. 0.
time (sec) N/A 0.441 0.044 0.02 0. 0. 0. 0.
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 204 204 84 274 0 0 0 0
normalized size 1 1. 0.41 1.34 0. 0. 0. 0.
time (sec) N/A 0.311 0.044 0.019 0. 0. 0. 0.
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 251 251 134 281 0 0 0 0
normalized size 1 1. 0.53 1.12 0. 0. 0. 0.
time (sec) N/A 0.39 0.166 0.038 0. 0. 0. 0.
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 377 377 110 420 0 0 0 0
normalized size 1 1. 0.29 1.11 0. 0. 0. 0.
time (sec) N/A 0.461 0.125 0.034 0. 0. 0. 0.
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 110 255 0 0 0 0
normalized size 1 1. 0.51 1.19 0. 0. 0. 0.
time (sec) N/A 0.327 0.133 0.019 0. 0. 0. 0.
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 340 340 85 394 0 0 0 0
normalized size 1 1. 0.25 1.16 0. 0. 0. 0.
time (sec) N/A 0.397 0.103 0.018 0. 0. 0. 0.
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 86 230 0 0 0 0
normalized size 1 1. 0.48 1.29 0. 0. 0. 0.
time (sec) N/A 0.272 0.108 0.017 0. 0. 0. 0.
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 299 299 78 388 0 0 0 0
normalized size 1 1. 0.26 1.3 0. 0. 0. 0.
time (sec) N/A 0.328 0.087 0.019 0. 0. 0. 0.
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 76 222 0 0 0 0
normalized size 1 1. 0.55 1.62 0. 0. 0. 0.
time (sec) N/A 0.221 0.06 0.019 0. 0. 0. 0.
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 318 318 77 392 0 0 0 0
normalized size 1 1. 0.24 1.23 0. 0. 0. 0.
time (sec) N/A 0.39 0.047 0.02 0. 0. 0. 0.
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 92 235 0 0 0 0
normalized size 1 1. 0.55 1.41 0. 0. 0. 0.
time (sec) N/A 0.272 0.049 0.02 0. 0. 0. 0.
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 368 368 79 420 0 0 0 0
normalized size 1 1. 0.21 1.14 0. 0. 0. 0.
time (sec) N/A 0.451 0.043 0.021 0. 0. 0. 0.
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 79 254 0 0 0 0
normalized size 1 1. 0.39 1.25 0. 0. 0. 0.
time (sec) N/A 0.328 0.046 0.02 0. 0. 0. 0.
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 405 405 79 450 0 0 0 0
normalized size 1 1. 0.2 1.11 0. 0. 0. 0.
time (sec) N/A 0.522 0.045 0.022 0. 0. 0. 0.
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 89 474 0 910 2077 814
normalized size 1 1. 0.93 4.94 0. 9.48 21.64 8.48
time (sec) N/A 0.07 0.091 0.051 0. 2.293 11.235 1.293
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 66 262 0 512 1051 459
normalized size 1 1. 0.93 3.69 0. 7.21 14.8 6.46
time (sec) N/A 0.052 0.057 0.006 0. 2.304 5.042 1.347
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-2) B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 42 110 0 223 415 201
normalized size 1 1. 0.93 2.44 0. 4.96 9.22 4.47
time (sec) N/A 0.03 0.04 0.003 0. 2.314 1.811 1.407
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 55 0 0 0 0 0
normalized size 1 1. 0.77 0. 0. 0. 0. 0.
time (sec) N/A 0.047 0.062 0.234 0. 0. 0. 0.
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 92 80 0 0 0 0 0
normalized size 1 0.94 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.06 0.075 0.235 0. 0. 0. 0.
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 126 135 0 0 0 0 0
normalized size 1 0.9 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.137 0.098 0.313 0. 0. 0. 0.
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 63 0 151 300 0 0
normalized size 1 1. 0.66 0. 1.59 3.16 0. 0.
time (sec) N/A 0.156 0.069 0.547 1.473 2.428 0. 0.
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 111 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.224 0.164 2.108 0. 0. 0. 0.
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 129 129 210 0 0 0 0 0
normalized size 1 1. 1.63 0. 0. 0. 0. 0.
time (sec) N/A 0.357 0.212 0.823 0. 0. 0. 0.
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 16 20 46 17 23
normalized size 1 1. 1. 0.84 1.05 2.42 0.89 1.21
time (sec) N/A 0.026 0.005 0.049 1.698 2.015 0.1 1.209
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 36 47 38 10 22
normalized size 1 1. 1. 2.4 3.13 2.53 0.67 1.47
time (sec) N/A 0.022 0.005 0.055 1.764 2.119 0.134 1.247
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 43 14 22
normalized size 1 1. 1. 0.82 1.06 2.53 0.82 1.29
time (sec) N/A 0.025 0.005 0.052 1.755 2.062 0.161 1.229
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 15 19 46 10 22
normalized size 1 1. 1. 0.94 1.19 2.88 0.62 1.38
time (sec) N/A 0.014 0.003 0.051 1.122 2.062 0.147 1.243
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 52 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.05 0.019 0.767 0. 0. 0. 0.
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 116 0 50 88 0 65
normalized size 1 1. 6.44 0. 2.78 4.89 0. 3.61
time (sec) N/A 0.038 0.17 0.745 1.438 2.545 0. 1.387
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 64 64 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.064 0.07 0.525 0. 0. 0. 0.
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 157 0 0 0 0 0
normalized size 1 1. 0.81 0. 0. 0. 0. 0.
time (sec) N/A 0.216 0.126 0.497 0. 0. 0. 0.
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 119 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.097 0.063 0.495 0. 0. 0. 0.
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 97 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.056 0.03 0.498 0. 0. 0. 0.
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 54 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.015 0.531 0. 0. 0. 0.
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 77 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.056 0.023 0.511 0. 0. 0. 0.
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 112 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.096 0.094 0.52 0. 0. 0. 0.
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 207 207 184 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.158 0.163 0.511 0. 0. 0. 0.
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 73 73 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.071 0.071 0.561 0. 0. 0. 0.
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 202 202 179 0 0 0 0 0
normalized size 1 1. 0.89 0. 0. 0. 0. 0.
time (sec) N/A 0.239 0.167 0.53 0. 0. 0. 0.
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 120 0 0 0 0 0
normalized size 1 1. 0.8 0. 0. 0. 0. 0.
time (sec) N/A 0.115 0.11 0.507 0. 0. 0. 0.
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 57 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.033 0.022 0.497 0. 0. 0. 0.
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 88 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.068 0.052 0.52 0. 0. 0. 0.
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 133 133 125 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.131 0.072 0.535 0. 0. 0. 0.
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 217 182 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.264 0.199 0.528 0. 0. 0. 0.

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [207] had the largest ratio of [ 0.4231 ]

Table 2.1Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)
1 A 3 2 1. 22 0.091
2 A 4 3 1. 20 0.15
3 A 3 2 1. 19 0.105
4 A 4 3 1. 22 0.136
5 A 3 2 1. 22 0.091
6 A 4 3 1. 22 0.136
7 A 3 2 1. 22 0.091
8 A 4 3 1. 22 0.136
9 A 3 2 1. 22 0.091
10 A 4 3 1. 22 0.136
11 A 3 2 1. 22 0.091
12 A 3 2 1. 21 0.095
13 A 4 3 1. 24 0.125
14 A 3 2 1. 24 0.083
15 A 4 3 1. 24 0.125
16 A 3 2 1. 24 0.083
17 A 5 4 1. 24 0.167
18 A 3 2 1. 24 0.083
19 A 4 3 1. 24 0.125
20 A 3 2 1. 24 0.083
21 A 4 3 1. 24 0.125
22 A 3 2 1. 24 0.083
23 A 4 3 1. 24 0.125
24 A 3 2 1. 24 0.083
25 A 3 2 1. 24 0.083
26 A 4 3 1. 24 0.125
27 A 3 2 1. 24 0.083
28 A 4 3 1. 24 0.125
29 A 3 2 1. 24 0.083
30 A 5 4 1. 24 0.167
31 A 3 2 1. 24 0.083
32 A 4 3 1. 24 0.125
33 A 3 2 1. 24 0.083
34 A 4 3 1. 24 0.125
35 A 3 2 1. 24 0.083
36 A 4 3 1. 24 0.125
37 A 3 2 1. 24 0.083
38 A 5 4 1. 24 0.167
39 A 3 2 1. 24 0.083
40 A 4 4 1. 24 0.167
41 A 5 4 1. 24 0.167
42 A 4 3 1. 24 0.125
43 A 5 4 1. 24 0.167
44 A 4 3 1. 24 0.125
45 A 5 4 1. 24 0.167
46 A 4 3 1. 24 0.125
47 A 4 4 1. 24 0.167
48 A 4 3 1. 24 0.125
49 A 3 3 1. 24 0.125
50 A 4 3 1. 22 0.136
51 A 3 3 1. 21 0.143
52 A 3 3 1. 22 0.136
53 A 4 3 1. 24 0.125
54 A 4 4 1. 24 0.167
55 A 4 3 1. 24 0.125
56 A 5 4 1. 24 0.167
57 A 4 3 1. 24 0.125
58 A 5 4 1. 24 0.167
59 A 4 3 1. 24 0.125
60 A 5 4 1. 24 0.167
61 A 4 3 1. 24 0.125
62 A 5 4 1. 24 0.167
63 A 4 3 1. 24 0.125
64 A 4 4 1. 24 0.167
65 A 4 3 1. 24 0.125
66 A 3 3 1. 24 0.125
67 A 4 3 1. 24 0.125
68 A 4 4 1. 24 0.167
69 A 4 3 1. 22 0.136
70 A 5 4 1. 21 0.19
71 A 4 3 1. 24 0.125
72 A 5 4 1. 24 0.167
73 A 6 5 1. 24 0.208
74 A 4 3 1. 24 0.125
75 A 6 5 1. 24 0.208
76 A 4 3 1. 24 0.125
77 A 5 5 1. 24 0.208
78 A 4 3 1. 24 0.125
79 A 4 4 1. 24 0.167
80 A 3 3 1. 24 0.125
81 A 4 4 1. 24 0.167
82 A 4 3 1. 24 0.125
83 A 5 4 1. 24 0.167
84 A 4 3 1. 24 0.125
85 A 6 5 1. 24 0.208
86 A 4 3 1. 22 0.136
87 A 6 5 1. 21 0.238
88 A 4 3 1. 24 0.125
89 A 8 7 1. 26 0.269
90 A 7 7 1. 26 0.269
91 A 5 5 1. 26 0.192
92 A 5 5 1. 24 0.208
93 A 5 5 1. 26 0.192
94 A 5 5 1. 26 0.192
95 A 5 5 1. 26 0.192
96 A 3 3 1. 26 0.115
97 A 4 4 1. 26 0.154
98 A 5 4 1. 26 0.154
99 A 6 4 1. 26 0.154
100 A 4 3 1. 26 0.115
101 A 3 3 1. 26 0.115
102 A 2 2 1. 23 0.087
103 A 4 4 1. 26 0.154
104 A 4 4 1. 26 0.154
105 A 4 4 1. 26 0.154
106 A 8 7 1. 26 0.269
107 A 6 5 1. 26 0.192
108 A 6 5 1. 24 0.208
109 A 6 6 1. 26 0.231
110 A 6 6 1. 26 0.231
111 A 6 5 1. 26 0.192
112 A 6 6 1. 26 0.231
113 A 6 5 1. 26 0.192
114 A 3 3 1. 26 0.115
115 A 4 4 1. 26 0.154
116 A 5 4 1. 26 0.154
117 A 6 4 1. 26 0.154
118 A 7 4 1. 26 0.154
119 A 5 4 1. 26 0.154
120 A 4 4 1. 26 0.154
121 A 3 3 1. 23 0.13
122 A 2 2 1. 26 0.077
123 A 5 4 1. 26 0.154
124 A 5 4 1. 26 0.154
125 A 5 5 1. 26 0.192
126 A 5 4 1. 26 0.154
127 A 6 5 1. 26 0.192
128 A 7 5 1. 26 0.192
129 A 8 5 1. 26 0.192
130 A 7 6 1. 26 0.231
131 A 6 6 1. 26 0.231
132 A 4 4 1. 26 0.154
133 A 4 4 1. 24 0.167
134 A 4 4 1. 26 0.154
135 A 3 3 1. 26 0.115
136 A 4 4 1. 26 0.154
137 A 5 4 1. 26 0.154
138 A 6 4 1. 26 0.154
139 A 4 3 1. 26 0.115
140 A 3 3 1. 26 0.115
141 A 2 2 1. 26 0.077
142 A 3 3 1. 23 0.13
143 A 3 3 1. 26 0.115
144 A 4 4 1. 26 0.154
145 A 7 6 1. 26 0.231
146 A 6 6 1. 26 0.231
147 A 5 5 1. 26 0.192
148 A 4 4 1. 26 0.154
149 A 2 2 1. 24 0.083
150 A 3 3 1. 26 0.115
151 A 4 4 1. 26 0.154
152 A 5 4 1. 26 0.154
153 A 4 3 1. 26 0.115
154 A 3 3 1. 26 0.115
155 A 2 2 1. 26 0.077
156 A 3 3 1. 26 0.115
157 A 5 5 1. 23 0.217
158 A 5 5 1. 26 0.192
159 A 3 2 1. 24 0.083
160 A 3 2 1. 24 0.083
161 A 3 2 1. 24 0.083
162 A 3 2 1. 24 0.083
163 A 3 2 1. 24 0.083
164 A 3 2 1. 24 0.083
165 A 3 2 1. 24 0.083
166 A 3 2 1. 24 0.083
167 A 3 2 1. 26 0.077
168 A 3 2 1. 26 0.077
169 A 3 2 1. 26 0.077
170 A 3 2 1. 26 0.077
171 A 3 2 1. 26 0.077
172 A 3 2 1. 26 0.077
173 A 3 2 1. 26 0.077
174 A 3 2 1. 26 0.077
175 A 3 2 1. 26 0.077
176 A 3 2 1. 26 0.077
177 A 3 2 1. 26 0.077
178 A 3 2 1. 26 0.077
179 A 3 2 1. 26 0.077
180 A 3 2 1. 26 0.077
181 A 3 2 1. 26 0.077
182 A 3 2 1. 26 0.077
183 A 14 10 1. 26 0.385
184 A 14 10 1. 26 0.385
185 A 13 10 1. 26 0.385
186 A 13 10 1. 26 0.385
187 A 12 9 1. 26 0.346
188 A 12 9 1. 26 0.346
189 A 12 9 1. 26 0.346
190 A 12 9 1. 26 0.346
191 A 13 10 1. 26 0.385
192 A 13 10 1. 26 0.385
193 A 14 10 1. 26 0.385
194 A 14 10 1. 26 0.385
195 A 15 10 1. 26 0.385
196 A 14 10 1. 26 0.385
197 A 14 10 1. 26 0.385
198 A 13 10 1. 26 0.385
199 A 13 10 1. 26 0.385
200 A 12 9 1. 26 0.346
201 A 12 9 1. 26 0.346
202 A 13 10 1. 26 0.385
203 A 13 10 1. 26 0.385
204 A 14 10 1. 26 0.385
205 A 14 10 1. 26 0.385
206 A 15 10 1. 26 0.385
207 A 15 11 1. 26 0.423
208 A 14 11 1. 26 0.423
209 A 14 11 1. 26 0.423
210 A 13 10 1. 26 0.385
211 A 13 10 1. 26 0.385
212 A 13 10 1. 26 0.385
213 A 13 10 1. 26 0.385
214 A 14 11 1. 26 0.423
215 A 14 11 1. 26 0.423
216 A 15 11 1. 26 0.423
217 A 15 11 1. 26 0.423
218 A 16 11 1. 26 0.423
219 A 16 11 1. 26 0.423
220 A 7 6 1. 28 0.214
221 A 8 8 1. 28 0.286
222 A 6 6 1. 28 0.214
223 A 7 7 1. 28 0.25
224 A 5 5 1. 28 0.179
225 A 7 7 1. 28 0.25
226 A 5 5 1. 28 0.179
227 A 7 7 1. 28 0.25
228 A 5 5 1. 28 0.179
229 A 8 8 1. 28 0.286
230 A 6 6 1. 28 0.214
231 A 11 8 1. 28 0.286
232 A 9 6 1. 28 0.214
233 A 10 8 1. 28 0.286
234 A 8 6 1. 28 0.214
235 A 9 8 1. 28 0.286
236 A 7 6 1. 28 0.214
237 A 8 7 1. 28 0.25
238 A 6 5 1. 28 0.179
239 A 8 7 1. 28 0.25
240 A 6 5 1. 28 0.179
241 A 8 8 1. 28 0.286
242 A 6 6 1. 28 0.214
243 A 8 7 1. 28 0.25
244 A 7 5 1. 28 0.179
245 A 8 7 1. 28 0.25
246 A 6 5 1. 28 0.179
247 A 7 7 1. 28 0.25
248 A 5 5 1. 28 0.179
249 A 6 6 1. 28 0.214
250 A 4 4 1. 28 0.143
251 A 6 6 1. 28 0.214
252 A 4 4 1. 28 0.143
253 A 7 7 1. 28 0.25
254 A 5 5 1. 28 0.179
255 A 8 7 1. 28 0.25
256 A 6 5 1. 28 0.179
257 A 7 5 1. 28 0.179
258 A 8 7 1. 28 0.25
259 A 6 5 1. 28 0.179
260 A 7 7 1. 28 0.25
261 A 5 5 1. 28 0.179
262 A 6 6 1. 28 0.214
263 A 4 4 1. 28 0.143
264 A 7 7 1. 28 0.25
265 A 5 5 1. 28 0.179
266 A 8 8 1. 28 0.286
267 A 6 6 1. 28 0.214
268 A 9 8 1. 28 0.286
269 A 3 2 1. 24 0.083
270 A 3 2 1. 24 0.083
271 A 3 2 1. 22 0.091
272 A 3 3 1. 24 0.125
273 A 3 3 0.94 24 0.125
274 A 4 4 0.9 24 0.167
275 A 2 2 1. 32 0.062
276 A 4 3 1. 30 0.1
277 A 4 3 1. 34 0.088
278 A 4 3 1. 19 0.158
279 A 4 3 1. 15 0.2
280 A 4 3 1. 19 0.158
281 A 3 2 1. 17 0.118
282 A 4 4 1. 25 0.16
283 A 2 2 1. 39 0.051
284 A 4 4 1. 20 0.2
285 A 7 7 1. 20 0.35
286 A 6 6 1. 18 0.333
287 A 5 5 1. 17 0.294
288 A 3 3 1. 20 0.15
289 A 4 4 1. 20 0.2
290 A 5 4 1. 20 0.2
291 A 5 4 1. 20 0.2
292 A 4 4 1. 20 0.2
293 A 7 7 1. 20 0.35
294 A 6 6 1. 18 0.333
295 A 3 3 1. 17 0.176
296 A 4 4 1. 20 0.2
297 A 5 5 1. 20 0.25
298 A 5 5 1. 20 0.25

[next] [prev] [prev-tail] [front] [up]